241. Symposium on Automatic Demonstration
پدیدآورنده: edited by M. Laudet ]and others[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
S9
1968
242. Symposium on Automatic Demonstration
پدیدآورنده: Symposium on Automatic Demonstration, Versailles
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Automatic theorem proving- Congresses
رده :
QA
3
.
L28
no
.
125
243. Symposium on Automatic Demonstration
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Automatic theorem proving
رده :
QA
3
.
L28
no
.
125
244. Term Indexing
پدیدآورنده: Peter Graf
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Automatic theorem proving.,Expert systems (Computer science)
رده :
QA76
.
9
.
A96
P484
1996
245. Term indexing
پدیدآورنده: Graf, Peter, 6691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving,، Expert systems )Computer science(,، Artificial intelligence,، Indexing
رده :
QA
76
.
L28
Vol
.
1053
246. The automation of reasoning : an experimenters notebook with OTTER tutorial
پدیدآورنده: Wos, Larry.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Automatic theorem proving
رده :
QA
76
.
9
.
A96
W68
1996
247. The automation of reasoning with incomplete information : from semantic foundations to efficient computation
پدیدآورنده: Schaub, Torsten
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1409
248. The computer modelling of mathematical reasoning /
پدیدآورنده: Alan Bundy, Department of Artificial Intelligence, Edinburgh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving.,Logic, Symbolic and mathematical.,Mathematics-- Data processing.,Intelligence artificielle.,Anwendung,ARTIFICIAL INTELLIGENCE.,Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulaties.,Inteligencia Artificial (Computacao),Künstliche Intelligenz,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematics-- Data processing.,Mathematik,Mathematik.,Mathématiques-- Informatique.,Redeneren.,THEOREM PROVING.,Théorèmes-- Démonstration automatique.,Wiskunde.
رده :
QA76
.
95
.
B86
1983
249. The computer modelling of mathematical reasoning
پدیدآورنده: Bundy, Alan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing ، Mathematics,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
250. The computer modelling of mathematical reasoning
پدیدآورنده: Bundy, Alan., Alan Bundy
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Mathematics- Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
251. The computer modelling of mathematical reasoning
پدیدآورنده: Bundy, Alan.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Mathematics - Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
1983
252. The programming and proof system ATES advanced techniques integration into efficient scientific software
پدیدآورنده: Armand Puccetti (ed.). With contrib. by D. Brocard ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving.,Computer programming.,Computer software -- Development.
253. The resolution calculus
پدیدآورنده: Alexander Leitsch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Auflösungsprinzip,Automatic theorem proving.,Automatisches Beweisverfahren
رده :
QA76
.
9
.
A96
A449
1997
254. Theorem provers in circuit design :
پدیدآورنده: Ramayya Kumar, Thomas Kropf, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Digital integrated circuits -- Computer-aided design -- Congresses.
رده :
TK7874
.
65
R363
1995
255. Theorem proving in higher order logic
پدیدآورنده: / Stefan Berghofer ... [et al.] (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses
رده :
QA
,
76
.
9
,.
A96
,
T655
,
2009
256. Theorem proving in higher order logics
پدیدآورنده: Stefan Berghofer ... [et al.] (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
T646
2009
257. Theorem proving in higher order logics :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Automatic theorem proving ; Congresses ;
258. Theorem proving in higher order logics
پدیدآورنده: / Mark Aagaard, John Harrison (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses
رده :
QA
,
76
.
9
,.
A96
,
T655
,
2000
259. Theorem proving in higher order logics
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Automatic theorem proving ; Congresses. ;
260. Theorem proving in higher order logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27-October 2, 1997 : proceedings
پدیدآورنده: Jim Grundy, Malcolm Newey, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1479
